Comparing and evaluating Petri net semantics for BPEL
نویسندگان
چکیده
منابع مشابه
Comparing and evaluating Petri net semantics for BPEL
We compare two Petri net semantics for the Web Services Business Process Execution Language (BPEL). The comparison reveals different modeling decisions. These decisions together with their consequences are discussed. We also give an overview of the different properties that can be verified on the resulting models. A case study helps to evaluate the corresponding compilers which transform a BPEL...
متن کاملA Feature-Complete Petri Net Semantics for WS-BPEL 2.0
We present an extension of a Petri net semantics for the Web Service Business Execution Language (WS-BPEL). This extension covers the novel activities and constructs introduced by the recent WS-BPEL 2.0 specification. Furthermore, we simplify several aspects of the Petri net semantics to allow for more compact models suited for computer-aided verification.
متن کاملA Feature - Complete Petri Net Semantics for WS - BPEL 2 . 0 and its Compiler BPEL 2 oWFN ?
We present an extension of a Petri net semantics for the Web Service Business Execution Language (WS-BPEL). This extension covers the novel activities and constructs introduced by the recent WS-BPEL 2.0 specification. Furthermore, we simplify several aspects of the Petri net semantics to allow for more compact models suited for computer-aided verification. This technical report is the extended ...
متن کاملPetri net semantics
ion Another rather more speculative area for further research seeks to use the net semantics to develop a more abstract account of the logic, where we abstract away the role of the heap conditions from the semantics. To replace them, we label the control conditions with a formula of the heap logic. Events will be labelled to characterize their effect as actions on the state. For example, we mig...
متن کاملA Petri Net Semantics for - Calculus ?
A distributed semantics for-calculus, based on P/T Petri nets with inhibitor arcs, is presented. This net semantics is sound w.r.t. the original early transition system semantics: the interleaving semantics of an agent p is retrievable from the net by considering the inter-leaving marking graph for the associated marking dec(p). Furthermore,-calculus is equipped with a multistep and a causal se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Business Process Integration and Management
سال: 2009
ISSN: 1741-8763,1741-8771
DOI: 10.1504/ijbpim.2009.026986